home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / fp / ifp_unix.lzh / ifp / fproot / demo / Inter < prev    next >
Encoding:
Text File  |  1986-10-03  |  193 b   |  10 lines

  1. (*
  2.  * Set intersection: [A,B] : Inter -> elements of B which are in A 
  3.  * 
  4.  * Example:
  5.  *      <<2 3 4> <5 3 2 1>> : Inter -> <3 2>
  6.  *)
  7.  
  8. DEF Inter AS
  9.    distl | FILTER member END | EACH 2 END;
  10.